@INPROCEEDINGS{JiangHSZX05, author = {Ying Jiang and Shan-Shan Hou and Jin-Hui Shan and Lu Zhang and Bing Xie}, title = {Contract-Based Mutation for Testing Components}, booktitle = {Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05)}, year = {2005}, address = {Budapest, Hungary}, month = {25-30 September}, pages = {483-492} }